161. Algebraic logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Algebraic logic,، Logic Symbolic and mathematical

رده :
QA
266
.
H3

162. Algebraic methods of mathematical logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean

رده :
QA
9
.
R6413

163. Algebraic methods of mathematical logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN

رده :
QA
9
.
R6413

164. Algebraic perspectives on substructural logics

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

165. Algebraic systems

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical

رده :
QA
.
M3413
162

166. Algebraic systems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical

رده :
QA
162
.
M3513
1973

167. Algebraic systems

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical

رده :
QA
1
.
G7
v
.
192

168. Algebraic systems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical

رده :
QA
162
.
M3413
1973

169. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Algorithms

رده :
QA
1
.
P736
Vol
.
274

170. Algorithmic logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms,Formal languages,Logic, Symbolic and mathematical

رده :
QA267
.
3
.
M57
1987

171. <An> Introduction to Geodel's Theorems

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)

موضوع : Logic, Symbolic and mathematical,Geodel numbers,Geodel, Kurt

رده :
511
.
3
S642I

172. <An> Introduction to Hilbert Space and Quantum Logic

پدیدآورنده :

موضوع : Hilbert Space,Quantum Theory,Logic, Symbolic and Mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

173. An Introduction to Hilbert space and guantum logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical

رده :
QA
322
.
4
.
C64
1989

174. An Introduction to Hilbert space and quantum logic

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Hilbert space,Quantum theory,Logic, Symbolic and mathematical

رده :
QA322
.
4
.
C64
1989

175. An Invitation to Abstract Mathematic

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

176. An Outline of set theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,، Logic, Symbolic and mathematical

رده :
QA
248
.
H43
1986

177. #<An> outline of set theory

پدیدآورنده :

موضوع : Set theory ،Logic, Symbolic and mathematical

۶ نسخه از این کتاب در ۵ کتابخانه موجود است.

178. An algebraic approach to non-classical logics

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic, symbolic and mathematical

رده :
511
.
3
R224

179. An algebraic introduction to mathematical logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

180. An algebraic introduction tomathematical logic

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic

رده :
QA
9
.
B27